Boolean analysis - PDFSEARCH.IO - Document Search Engine

Boolean analysis
Results: 158

#	Item
51	Reasoning About the Unknown in Static Analysis Isil Dillig Thomas Dillig Alex Aiken {isil, tdillig, aiken}@cs.stanford.edu Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-01-25 02:22:18 Logic in computer science Boolean algebra Formal methods Function Constructible universe Net Boolean satisfiability problem Canonical form Normal distribution Mathematics Mathematical logic Theoretical computer science
52	Applying static analysis techniques for inferring termination conditions of logic programs (preliminary version) F. Mesnard1 and U. Neumerkel2 1 Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2002-06-16 22:50:34 Recursion Prolog Function Fold Boolean algebra B-Prolog Predicate transformer semantics Mathematics Software engineering Computing
53	A quasi-stability result for low-degree Boolean functions on Sn David Ellis, Yuval Filmus∗, and Ehud Friedgut† OctoberAbstract Add to Reading List Source URL: www.maths.qmul.ac.uk Language: English - Date: 2012-11-09 07:06:56 Representation theory of Lie groups Representation theory Character theory Fourier transform Representation theory of finite groups Zonal spherical function Abstract algebra Mathematical analysis Mathematics
54	Friedgut–Kalai–Naor theorem for slices of the Boolean cube Yuval Filmus˚ Institute for Advanced Study, Princeton, NJ October 15, 2014 Abstract Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-10-15 11:15:14 Character encoding Physics Mathematics Fourier analysis Fourier transform Joseph Fourier
55	From Sampling to Model Counting Add to Reading List Source URL: www.ijcai.org Language: English - Date: 2009-01-13 06:27:57 Data analysis Variance Sampling Random variable Variable Statistical hypothesis testing Interpretation Random walk Boolean satisfiability problem Statistics Mathematics Probability theory
56	Specification of Zinc and MiniZinc Zinc version (rotdMiniZinc version 1.2 Nicholas Nethercote Kim Marriott Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2010-11-11 04:11:19 Programming language theory Type theory C++ Program analysis Type system ALGOL 68 Primitive data type Enumerated type Boolean data type Computing Data types Software engineering
57	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-12-16 03:00:39 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
58	Stereology and Image Analysis. Ecs10 - Proceedings of the 10th European Congress of ISS, (V.Capasso et al. Eds.), The MIRIAM Project Series, ESCULAPIO Pub. Co., Bologna, Italy, 2009 MODEL FOR RANDOM UNION OF INTERACTING Add to Reading List Source URL: people.math.aau.dk Language: English - Date: 2009-07-06 10:59:40 Boolean model Probability theory Neural networks
59	Noname manuscript No. (will be inserted by the editor) A generalization of the class of hyper-bent Boolean functions in binomial forms Chunming Tang · Yu Lou · Yanfeng Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-11-12 09:17:28 Cryptography Analytic number theory Kloosterman sum Fourier transform Bent function Boolean function Boolean algebra Mathematical analysis Mathematics
60	C HA PT ER 2 BASICS 2–1 Manipulating Rightmost Bits Some of the formulas in this section find application in later chapters. Use the following formula to turn off the rightmost 1-bit in a word, producing Add to Reading List Source URL: www.hackersdelight.org Language: English - Date: 2012-10-18 22:11:36 Functions and mappings Computer arithmetic Find first set Function Boolean algebra Expected value Hamming weight Mutual information Mathematics Mathematical analysis Binary arithmetic

UPDATE